منابع مشابه
Universal laziness of pronouns
The goal of the paper is to try to account for an interesting binding phenomenon, namely the fact that pronouns sometimes appear to be bound by universal quantifiers out of islands. Specifically, my claim is that the appearance of binding is an illusion which results from the fact that pronouns can stand for universal quantifiers, i.e. there is a new type of pronouns of laziness. However, the d...
متن کاملBulgarian Pronouns in Universal Networking Language
The paper presents a computationally tractable application of Bulgarian pronouns representation using Universal Networking Language (UNL) formalism. It analyses grammar features of pronouns and offers a model of their formal representation based on incorporation of grammar, semantic and lexical knowledge by using standard UNL knowledge representation mechanisms. The entire application presents ...
متن کاملLaziness by Need
Lazy functional programming has many benefits that strict functional languages can simulate via lazy data constructors. In recognition, ML, Scheme, and other strict functional languages have supported lazy stream programming with delay and force for several decades. Unfortunately, the manual insertion of delay and force can be tedious and error-prone. We present a semantics-based refactoring th...
متن کاملLinearity and laziness
A criticism often levelled at functional languages is that they do not cope elegantly or eeciently with problems involving changes of state. In a recent paper 26], Wadler has proposed a new approach to these problems. His proposal involves the use of a type system based on the linear logic of Girard 7]. This allows the programmer to specify the \natural" imperative operations without at the sam...
متن کاملThe Selective Laziness of Reasoning
Reasoning research suggests that people use more stringent criteria when they evaluate others' arguments than when they produce arguments themselves. To demonstrate this "selective laziness," we used a choice blindness manipulation. In two experiments, participants had to produce a series of arguments in response to reasoning problems, and they were then asked to evaluate other people's argumen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 2015
ISSN: 2163-5951
DOI: 10.3765/salt.v0i20.2581